<div id="nav">
    <?php
    
    // TODO: Check for which navigation menu needs to load
    if (!isset($_SESSION))
        session_start();
    
    if (isset($_SESSION['username'])) {
        echo '<ul>';
        echo '<li><a href="?p=viewprofile&t=student">Mijn profile</a> </li> ';
        echo '<li><a href="?p=editprofile&t=student">Profile bewerken</a> </li> ';
        echo '<li><a href="?p=zoekstage&t=student">Stage zoeken</a> </li> ';
        echo '<li><a href="?p=logout&t=student">Log Out (' . $_SESSION['username'] . ')</a></li>';
        echo '</ul>';
    } else {
         
        echo '<ul>';
        echo '<li><a title="Home pagina" href="?p=home">Home</a></li> ';
        echo '<li><a title="Nieuws pagina" href="?p=nieuws">Nieuws</a></li> ';
        echo '<li><a title="Forum pagina" href="?p=forum">Forum</a></li> ';
        echo '<li><a title="Overige links pagina" href="?p=links">Overige links</a></li> ';
        echo '</ul>';
        
    }

    ?>
    
    
</div>